Chinese translation for "kripke semantics"

kripke语义
关系语义

Related Translations:

kripke语义:  kripke semantics

saul kripke:  索尔・阿伦・克里普克

operational semantics:  操作语义运算语义

declarative semantics:  宣告语意

semantics evaluation:  语义学评价

computational semantics:  计算语意学计算语义学

situation semantics:  情境语意学情境语义学

programming semantics:  程序设计语义学

philosophical semantics:  哲学语义学

procedural semantics:  过程语义

Example Sentences:

1.

This paper introduces a new methodology that uses - it knowledge structures , a specific form of kripke semantics for epistemic logic , to analyze communication protocols over hostile networks . the paper particularly focuses on automatic verification of authentication protocols . our approach is based on the actual definitions of a protocol , not on some difficult - to - establish justifications 认知逻辑的kripke语义已经被成功应用到通信协议的推理分析中例如,交替位协议alternating bit protocol的分析,及最近的对tcp的分析.因为信息交换本质上可以看成是个认知过程,用认知逻辑可以很方便地表达

Similar Words：

"kripaitis" Chinese translation, "kripal" Chinese translation, "kripalani" Chinese translation, "kripan" Chinese translation, "kripka" Chinese translation, "kripke语义" Chinese translation, "kripl" Chinese translation, "kripner" Chinese translation, "kripnerova" Chinese translation, "krippahl" Chinese translation